SV-Tests

Test suite to check compliance with the SystemVerilog LRM by chapter as well as some real-world cores and test-cases.

icarus moore moore_parse odin slang surelog sv2v_zachjs sv_parser tree_sitter_verilog uhdmverilator uhdmyosys verible verilator yosys yosyssv
Various sanity checks sanity 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
SweRV RISC-V core swerv 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Ibex RISC-V core ibex 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 0/1 0/1 1/1
Lowrisc chip with Ibex core earlgrey 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
FX68K m68k core fx68k 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Tests imported from Yosys yosys 171/186 50/186 156/186 72/186 171/186 186/186 173/186 184/186 164/186 160/186 178/186 172/186 154/186 154/186
Tests imported from hdlConvertor hdlconv 55/306 48/306 148/306 9/306 86/306 284/306 94/306 306/306 191/306 71/306 261/306 88/306 44/306 48/306
Tests imported from utd-SystemVerilog utd-sv 121/295 13/295 292/295 103/295 121/295 294/295 288/295 295/295 272/295 119/295 294/295 125/295 286/295 286/295
Tests imported from UVM uvm 3/152 3/152 3/152 3/152 3/152 147/163 3/152 39/152 3/152 11/72 3/152 132/152 14/163 14/163 14/163
UVM Prerequisites uvm-req 147/276 138/297 264/297 17/297 228/297 293/308 195/297 295/297 160/276 11/99 67/276 271/276 221/308 74/308 83/308
UVM tests using assertions uvm-assertions 0/26 0/26 0/26 0/26 0/26 26/37 0/26 26/26 0/26 11/37 0/26 12/26 11/37 11/37 11/37
uvm_scoreboard examples uvm-scoreboards 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/3 0/3 0/3 0/3 3/3 0/3 0/3 0/3
uvm_agent examples uvm-agents 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/3 0/3 0/3 0/3 3/3 0/3 0/3 0/3
Particular UVM classes uvm-classes 0/36 0/36 0/36 0/36 0/36 36/36 0/36 2/36 0/36 0/28 0/36 36/36 0/36 0/36 0/36
Tests imported from Basejump STL basejump 75/318 63/318 186/318 0/318 96/318 305/318 304/318 312/318 0/318 67/318 314/318 112/318 0/318 164/318
Ariane RISC-V core ariane 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1
SCR1 RISC-V core scr1 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1
Taiga RISC-V core taiga 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
BlackParrot RISC-V core black-parrot 0/6 0/6 0/6 0/6 0/6 0/6 2/6 6/6 0/6 0/6 0/6 0/6 0/6 0/6
RSD RISC-V core rsd 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1
Tests imported from ivtest ivtest 1728/1780 59/1780 1423/1780 174/1780 1407/1780 1746/2203 1357/1780 1775/1780 33/1780 354/423 76/1780 1756/1780 1503/2203 582/2203 585/2203
White space 5.3 1/1 6/7 7/7 1/7 7/7 7/7 7/7 7/7 0/1 1/1 1/1 7/7 7/7 7/7
Comments 5.4 1/1 7/7 7/7 0/7 7/7 7/7 7/7 7/7 1/1 1/1 1/1 7/7 7/7 7/7
Identifiers, keywords, and system names 5.6 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Escaped identifiers 5.6.1 2/2 2/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Keywords 5.6.2 248/248 248/248 248/248 248/248 248/248 243/248 248/248 248/248 2/248 248/248 246/248 248/248 85/248 102/248
System tasks and system functions 5.6.3 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1
Compiler directives 5.6.4 8/66 76/90 83/90 2/90 90/90 88/90 88/90 88/90 63/66 10/66 63/66 90/90 30/90 84/90
Integer literal constants 5.7.1 9/64 63/64 62/64 3/64 64/64 63/64 64/64 64/64 64/64 7/64 64/64 64/64 9/64 64/64
Real literal constants 5.7.2 3/58 56/58 57/58 1/58 58/58 58/58 58/58 58/58 58/58 2/58 58/58 58/58 3/58 57/58
Time literals 5.8 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
String literals 5.9 2/4 1/4 4/4 1/4 4/4 4/4 4/4 4/4 2/4 2/4 4/4 3/4 2/4 2/4
Special characters in strings 5.9.1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1
Structure literals 5.10 0/3 3/3 3/3 0/3 3/3 3/4 2/3 3/3 3/3 1/1 0/3 3/3 2/4 1/4 1/4
Array literals 5.11 0/3 3/3 3/3 0/3 3/3 3/3 2/3 3/3 3/3 0/3 3/3 3/3 0/3 0/3
Attributes 5.12 5/5 5/5 5/5 0/5 5/5 5/5 3/5 5/5 5/5 3/5 5/5 5/5 5/5 5/5
Built-in methods 5.13 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Nets and variables 6.5 1/1 1/1 1/1 0/1 1/1 1/4 1/1 1/1 1/1 3/3 1/1 1/1 1/4 2/4 2/4
Wire and tri nets 6.6.1 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2
Unresolved nets 6.6.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Wired nets 6.6.3 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 2/4 2/4
Trireg net 6.6.4 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1
Tri0 and tri1 nets 6.6.5 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2
Supply nets 6.6.6 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
User-defined nettypes 6.6.7 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 2/2 1/2 0/2 0/2 0/2 0/2
Generic interconnect 6.6.8 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Specifying vectors 6.9.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Vector net accessibility 6.9.2 1/3 3/3 3/3 1/3 3/3 3/3 1/3 3/3 3/3 3/3 1/3 3/3 1/3 1/3
Implicit declarations 6.10 3/3 1/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
Integer data types 6.11 27/27 27/27 27/27 2/27 27/27 27/27 27/27 27/27 27/27 15/27 27/27 27/27 8/27 8/27
Real, shortreal, and realtime data types 6.12 3/3 0/3 3/3 0/3 3/3 3/6 3/3 3/3 3/3 3/3 0/3 3/3 6/6 3/6 3/6
Void data type 6.13 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Chandle data type 6.14 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Class 6.15 0/41 28/41 37/41 0/41 36/41 41/41 0/41 41/41 40/41 0/41 41/41 18/41 0/41 0/41
String data type 6.16 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Len() 6.16.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Putc() 6.16.2 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Getc() 6.16.3 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Toupper() 6.16.4 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Tolower() 6.16.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Compare() 6.16.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Icompare() 6.16.7 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Substr() 6.16.8 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Atoi(), atohex(), atooct(), atobin() 6.16.9 0/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 4/4 0/4 0/4
Atoreal() 6.16.10 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Itoa() 6.16.11 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Hextoa() 6.16.12 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Octtoa() 6.16.13 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Bintoa() 6.16.14 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Realtoa() 6.16.15 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Event data type 6.17 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
User-defined types 6.18 2/28 27/28 27/28 1/28 28/28 27/30 22/28 27/28 24/28 2/2 1/28 27/28 28/30 6/30 15/30
Enumerations 6.19 3/3 2/3 2/3 1/3 3/3 2/5 2/3 2/3 2/3 2/2 2/3 2/3 5/5 3/5 2/5
Defining new data types as enumerated types 6.19.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1
Enumerated type ranges 6.19.2 2/2 1/2 1/2 0/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2
Type checking 6.19.3 1/1 1/1 1/1 0/1 1/1 1/2 1/1 1/1 1/1 1/1 0/1 1/1 1/2 1/2 1/2
Enumerated types in numerical expressions 6.19.4 1/2 2/2 2/2 0/2 2/2 2/3 2/2 2/2 2/2 1/1 0/2 2/2 2/3 1/3 1/3
First() 6.19.5.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Last() 6.19.5.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Next() 6.19.5.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Prev() 6.19.5.4 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Num() 6.19.5.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Name() 6.19.5.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Value parameters 6.20.2 4/6 6/6 6/6 3/6 6/6 6/6 6/6 6/6 5/6 6/6 6/6 6/6 5/6 6/6
$ as a parameter value 6.20.2.1 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1
Type parameters 6.20.3 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Local parameters (localparam) 6.20.4 3/5 5/5 5/5 1/5 5/5 5/5 5/5 5/5 5/5 4/5 5/5 5/5 1/5 4/5
Specify parameters 6.20.5 1/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 1/1 1/1 1/1 1/1 2/2 1/2 1/2
Const constants 6.20.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
Type operator 6.23 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Cast operator 6.24.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
$cast dynamic casting 6.24.2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2 0/2 2/2 0/2 0/2 0/2
Bit-stream casting 6.24.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
General 7.1 1/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Structures 7.2 1/5 1/5 5/5 0/5 5/5 5/5 5/5 5/5 1/5 0/4 0/5 5/5 5/5 0/5 0/5
Packed structures 7.2.1 1/3 0/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Assigning to structures 7.2.2 0/1 0/1 1/1 0/1 1/1 1/2 0/1 1/1 0/1 1/2 0/1 1/1 1/2 1/2 1/2
Unions 7.3 0/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 0/1 0/2 2/2 2/2 0/2 0/2
Packed unions 7.3.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Tagged unions 7.3.2 0/2 0/2 0/2 0/2 0/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 0/2 0/2 0/2
Packed and unpacked arrays 7.4 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2
Packed arrays 7.4.1 9/9 1/9 9/9 0/9 9/9 9/9 9/9 9/9 1/9 0/8 0/9 9/9 9/9 2/9 2/9
Unpacked arrays 7.4.2 1/13 1/13 9/13 0/13 6/13 13/13 5/13 13/13 1/13 0/12 0/13 13/13 3/13 1/13 1/13
Operations on arrays 7.4.3 7/13 0/13 13/13 0/13 13/13 14/14 13/13 13/13 0/13 0/14 0/13 13/13 12/14 0/14 0/14
Memories 7.4.4 2/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 0/1 1/2 2/2 2/2 1/2 1/2
Multidimensional arrays 7.4.5 3/4 2/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 0/2 0/4 4/4 4/4 0/4 0/4
Indexing and slicing of arrays 7.4.6 1/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Dynamic arrays 7.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
New[ ] 7.5.1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Size() 7.5.2 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Delete() 7.5.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Array assignments 7.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Arrays as arguments to subroutines 7.7 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative arrays 7.8 0/9 0/9 9/9 0/9 9/9 9/9 0/9 9/9 5/9 0/4 0/9 9/9 5/9 0/9 0/9
Wildcard index type 7.8.1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
String index 7.8.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Class index 7.8.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Integral index 7.8.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Other user-defined types 7.8.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Accessing invalid indices 7.8.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Allocating associative array elements 7.8.7 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array methods 7.9 0/9 0/9 9/9 0/9 3/9 9/9 0/9 9/9 0/9 0/9 0/9 9/9 9/9 0/9 0/9
Num() and size() 7.9.1 0/4 0/4 4/4 0/4 4/4 4/4 0/4 4/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Delete() 7.9.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Exists() 7.9.3 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
First() 7.9.4 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Last() 7.9.5 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Next() 7.9.6 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Prev() 7.9.7 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Arguments to traversal methods 7.9.8 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array assignment 7.9.9 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array arguments 7.9.10 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Associative array literals 7.9.11 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Queues 7.10 4/13 0/13 5/13 0/13 2/13 13/13 0/13 13/13 1/13 0/12 0/13 13/13 2/13 0/13 0/13
Queue operators 7.10.1 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 2/2 1/2 0/2 0/2
Queue methods 7.10.2 9/9 0/9 9/9 0/9 9/9 9/9 0/9 9/9 0/9 0/9 0/9 9/9 8/9 0/9 0/9
Size() 7.10.2.1 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Insert() 7.10.2.2 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Delete() 7.10.2.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Pop_front() 7.10.2.4 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Pop_back() 7.10.2.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Push_front() 7.10.2.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Push_back() 7.10.2.7 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Persistence of references to elements of a queue 7.10.3 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Updating a queue using assignment and unpacked array concatenation 7.10.4 0/6 0/6 6/6 0/6 2/6 6/6 0/6 6/6 0/6 0/6 0/6 6/6 0/6 0/6 0/6
Bounded queues 7.10.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Array querying functions 7.11 8/8 0/8 8/8 0/8 8/8 8/8 8/8 8/8 0/8 0/8 0/8 8/8 8/8 1/8 1/8
Array manipulation methods 7.12 2/10 0/10 3/10 0/10 0/10 10/10 0/10 10/10 0/10 0/10 0/10 10/10 0/10 0/10 0/10
Array locator methods 7.12.1 2/11 0/11 3/11 0/11 0/11 11/11 0/11 11/11 0/11 0/11 0/11 11/11 0/11 0/11 0/11
Array ordering methods 7.12.2 0/6 0/6 5/6 0/6 0/6 6/6 0/6 6/6 0/6 0/6 0/6 6/6 0/6 0/6 0/6
Array reduction methods 7.12.3 0/5 0/5 2/5 0/5 3/5 5/5 2/5 5/5 0/5 0/5 0/5 5/5 0/5 0/5 0/5
Iterator index querying 7.12.4 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Syntax 8.3 0/70 41/70 54/70 0/70 44/70 70/70 0/70 70/70 69/70 0/70 70/70 27/70 0/70 0/70
Objects (class instance) 8.4 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Object properties and object parameter data 8.5 1/3 0/3 3/3 0/3 2/3 3/3 0/3 3/3 0/3 0/2 0/3 3/3 2/3 0/3 0/3
Object methods 8.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Constructors 8.7 1/3 0/3 2/3 0/3 2/3 3/3 0/3 3/3 0/3 0/2 0/3 3/3 2/3 0/3 0/3
Typed constructor calls 8.8 0/2 0/2 0/2 0/2 0/2 2/2 0/2 2/2 0/2 0/2 2/2 0/2 0/2 0/2
Static class properties 8.9 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Static methods 8.10 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
This 8.11 1/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
Assignment, renaming, and copying 8.12 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 0/2 0/2
Inheritance and subclasses 8.13 1/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Overridden members 8.14 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Super 8.15 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Casting 8.16 2/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2 0/2 2/2 0/2 0/2 0/2
Chaining constructors 8.17 2/2 0/2 1/2 0/2 0/2 2/2 0/2 2/2 0/2 0/2 1/2 0/2 0/2 0/2
Data hiding and encapsulation 8.18 5/5 2/5 5/5 0/5 4/5 5/10 0/5 5/5 2/5 5/8 2/5 5/5 5/10 5/10 5/10
Constant class properties 8.19 2/2 1/2 2/2 0/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2
Virtual methods 8.20 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Abstract classes and pure virtual methods 8.21 0/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 0/1 1/1 0/1 1/1 2/2 1/2 1/2
Polymorphism: dynamic method lookup 8.22 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Class scope resolution operator :: 8.23 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Out-of-block declarations 8.24 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Parameterized classes 8.25 0/2 0/2 2/2 0/2 0/2 2/2 0/2 2/2 1/2 0/1 0/2 2/2 0/2 0/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 0/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 0/1 1/1 0/1 1/1 1/2 1/2 1/2
Interface classes 8.26 0/5 4/5 5/5 0/5 0/5 5/5 0/5 5/5 5/5 0/5 5/5 0/5 0/5 0/5
Extends versus implements 8.26.2 0/4 0/4 4/4 0/4 0/4 4/4 0/4 4/4 0/4 0/4 4/4 0/4 0/4 0/4
Type access 8.26.3 0/2 0/2 2/2 0/2 0/2 2/3 0/2 2/2 1/2 1/2 1/2 2/2 1/3 1/3 1/3
Type usage restrictions 8.26.4 0/2 2/2 2/2 2/2 2/2
Casting and object reference assignment 8.26.5 0/1 0/1 1/1 0/1 0/1 1/2 0/1 1/1 0/1 1/1 0/1 1/1 1/2 1/2 1/2
Method name conflict resolution 8.26.6.1 0/1 0/1 1/1 0/1 0/1 1/2 0/1 1/1 0/1 1/2 0/1 1/1 1/2 1/2 1/2
Parameter and type declaration inheritance conflicts and resolution 8.26.6.2 0/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 1/1 1/1 1/1 1/1 1/2 1/2 1/2
Diamond relationship 8.26.6.3 0/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 1/1 1/1 1/1 1/1 1/2 1/2 1/2
Partial implementation 8.26.7 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1
Typedef class 8.27 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Initial procedures 9.2.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1
General purpose always procedure 9.2.2.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1
Combinational logic always_comb procedure 9.2.2.2 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1
Latched logic always_latch procedure 9.2.2.3 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Sequential logic always_ff procedure 9.2.2.4 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Final procedures 9.2.3 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Sequential blocks 9.3.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Parallel blocks 9.3.2 3/3 0/3 3/3 0/3 3/3 3/3 1/3 3/3 3/3 0/3 3/3 0/3 0/3 0/3
Statement block start and finish times 9.3.3 2/2 0/2 1/2 0/2 1/2 2/3 2/2 2/2 2/2 1/1 0/2 2/2 1/3 1/3 1/3
Block names 9.3.4 2/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 1/2 1/2
Statement labels 9.3.5 0/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 0/2 0/2
Delay control 9.4.1 1/1 1/1 1/1 1/1 1/1 3/3 1/1 1/1 1/1 0/2 0/1 1/1 1/3 1/3 1/3
Event control 9.4.2 2/3 3/3 3/3 2/3 3/3 5/5 2/3 3/3 3/3 0/2 3/3 3/3 3/5 2/5 2/5
Event OR operator 9.4.2.1 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Implicit event_expression list 9.4.2.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Conditional event controls 9.4.2.3 0/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
Sequence events 9.4.2.4 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Level-sensitive event control 9.4.3 1/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Intra-assignment timing controls 9.4.5 7/7 1/7 1/7 2/7 3/7 7/7 3/7 7/7 7/7 7/7 7/7 2/7 2/7 2/7
Wait fork statement 9.6.1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Disable statement 9.6.2 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 2/2 0/2 2/2 1/2 0/2 0/2
Disable fork statement 9.6.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Fine-grain process control 9.7 0/4 0/4 4/4 0/4 0/4 4/4 0/4 4/4 0/4 0/4 4/4 0/4 0/4 0/4
Continuous assignments 10.3 0/1 1/1 1/1 0/1 0/1
The net declaration assignment 10.3.1 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/1 2/2 2/2 2/2 2/2 2/2
The continuous assignment statement 10.3.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Continuous assignment delays 10.3.3 1/2 2/2 2/2 1/2 2/2 2/2 1/2 2/2 2/2 2/2 1/2 2/2 2/2 2/2
Continuous assignment strengths 10.3.4 24/24 0/24 24/24 0/24 24/24 24/24 24/24 24/24 24/24 24/24 0/24 0/24 0/24 0/24
Blocking procedural assignments 10.4.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Nonblocking procedural assignments 10.4.2 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
The assign and deassign procedural statements 10.6.1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
The force and release procedural statements 10.6.2 1/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Operators 11.3 6/6 6/6 6/6 2/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 3/6 3/6
Operator expression short circuiting 11.3.5 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Assignment within an expression 11.3.6 1/3 1/3 2/3 1/3 3/3 3/3 1/3 3/3 2/3 0/1 1/3 3/3 1/3 1/3 1/3
Assignment operators 11.4.1 34/34 13/34 34/34 1/34 34/34 34/34 34/34 34/34 13/34 0/21 13/34 34/34 34/34 0/34 0/34
Increment and decrement operators 11.4.2 4/4 2/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 2/4 4/4 4/4 0/4 0/4
Arithmetic operators 11.4.3 24/24 10/24 24/24 15/24 24/24 24/24 24/24 24/24 12/24 0/18 12/24 24/24 24/24 6/24 6/24
Relational operators 11.4.4 16/16 8/16 16/16 12/16 16/16 16/16 16/16 16/16 8/16 0/12 8/16 16/16 16/16 4/16 4/16
Equality operators 11.4.5 39/39 8/39 39/39 33/39 39/39 39/39 39/39 39/39 8/39 0/35 4/39 39/39 32/39 4/39 4/39
Wildcard equality operators 11.4.6 18/18 2/18 18/18 0/18 18/18 18/18 18/18 18/18 2/18 0/16 0/18 18/18 8/18 0/18 0/18
Logical operators 11.4.7 18/24 4/24 24/24 10/24 24/24 24/24 24/24 24/24 8/24 0/20 6/24 23/24 24/24 2/24 2/24
Bitwise operators 11.4.8 15/15 9/15 15/15 10/15 15/15 15/15 15/15 15/15 9/15 0/9 9/15 15/15 15/15 4/15 4/15
Reduction operators 11.4.9 14/14 14/14 14/14 4/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 7/14 7/14
Shift operators 11.4.10 14/14 6/14 14/14 4/14 14/14 14/14 14/14 14/14 6/14 0/10 6/14 14/14 14/14 2/14 2/14
Conditional operator 11.4.11 3/3 2/3 3/3 1/3 3/3 3/3 3/3 3/3 2/3 0/2 2/3 3/3 3/3 1/3 1/3
Concatenation operators 11.4.12 3/3 2/3 3/3 1/3 3/3 3/3 3/3 3/3 2/3 0/2 1/3 3/3 3/3 2/3 2/3
Replication operator 11.4.12.1 5/5 3/5 5/5 1/5 5/5 5/5 5/5 5/5 3/5 0/3 1/5 5/5 5/5 3/5 3/5
String concatenation 11.4.12.2 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Set membership operator 11.4.13 0/3 2/3 3/3 0/3 3/3 3/3 3/3 3/3 2/3 0/2 2/3 3/3 3/3 0/3 0/3
Concatenation of stream_expressions 11.4.14.1 0/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 1/2 0/1 0/2 2/2 2/2 0/2 0/2
Re-ordering of the generic stream 11.4.14.2 0/4 0/4 4/4 0/4 0/4 4/4 4/4 4/4 2/4 0/2 0/4 4/4 2/4 0/4 0/4
Streaming concatenation as an assignment target (unpack) 11.4.14.3 0/5 0/5 5/5 0/5 0/5 5/6 5/5 5/5 1/5 1/4 0/5 5/5 5/6 1/6 1/6
Streaming dynamically sized data 11.4.14.4 0/3 0/3 3/3 0/3 0/3 3/3 0/3 3/3 2/3 0/1 0/3 2/3 1/3 0/3 0/3
Vector bit-select and part-select addressing 11.5.1 12/12 8/12 12/12 4/12 12/12 12/12 12/12 12/12 8/12 0/8 8/12 12/12 12/12 8/12 8/12
Array and memory addressing 11.5.2 5/5 3/5 5/5 0/5 5/5 5/5 5/5 5/5 2/5 0/3 3/5 5/5 5/5 3/5 3/5
Signed expressions 11.7 4/4 2/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 0/2 2/4 4/4 4/4 2/4 2/4
Tagged union expressions and member access 11.9 0/3 0/3 0/3 0/3 0/3 3/4 0/3 3/3 2/3 1/2 0/3 0/3 1/4 1/4 1/4
String literal expressions 11.10 2/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 0/1 0/2 2/2 2/2 1/2 1/2
String literal operations 11.10.1 3/3 0/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Empty string literal handling 11.10.3 2/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 0/1 0/2 2/2 2/2 1/2 1/2
Minimum, typical, and maximum delay expressions 11.11 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1
Let construct 11.12 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1
Conditional if-else statement 12.4 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
if-else-if construct 12.4.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-if, unique0-if, and priority-if 12.4.2 0/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3 0/3
Case statement 12.5 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Case statement with do-not-cares 12.5.1 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Constant expression in case statement 12.5.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-case, unique0-case, and priority-case 12.5.3 9/9 9/9 9/9 0/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9
Set membership case statement 12.5.4 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Pattern matching in case statements 12.6.1 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/3 0/3 0/3 3/3 0/3 0/3 0/3
Pattern matching in if statements 12.6.2 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1
Pattern matching in conditional expressions 12.6.3 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 0/1 0/1
The for-loop 12.7.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 1/1
The repeat loop 12.7.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
The foreach-loop 12.7.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
The while-loop 12.7.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
The do...while-loop 12.7.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
The forever-loop 12.7.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Jump statements 12.8 2/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 0/2 0/4 4/4 4/4 0/4 0/4
Tasks 13.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1
Static and automatic tasks 13.3.1 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 1/2 0/2 0/2
Functions 13.4 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Return values and void functions 13.4.1 2/2 0/2 2/2 0/2 2/2 2/3 2/2 2/2 0/2 1/3 0/2 2/2 3/3 1/3 1/3
Static and automatic functions 13.4.2 3/3 0/3 3/3 0/3 2/3 3/3 3/3 3/3 0/3 0/2 0/3 3/3 1/3 0/3 0/3
Constant functions 13.4.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Background processes spawned by function calls 13.4.4 1/1 0/1 1/1 0/1 1/1 1/2 0/1 1/1 0/1 1/2 0/1 1/1 1/2 1/2 1/2
Clocking block declaration 14.3 0/4 0/4 0/4 0/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 0/4 0/4
Mailboxes 15.4 0/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 2/2 0/2 0/2 0/2
Overview 16.2 2/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3
Deferred assertions 16.4 2/6 6/6 6/6 0/6 0/6 6/6 0/6 6/6 6/6 6/6 6/6 6/6 0/6 0/6
Sequences 16.7 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Sequence operations 16.9 16/19 0/19 16/19 0/19 0/19 19/19 16/19 19/19 3/19 0/16 19/19 16/19 6/19 16/19 16/19
Local variables 16.10 0/2 0/2 0/2 0/2 0/2 2/4 0/2 2/2 0/2 2/4 0/2 1/2 2/4 2/4 2/4
Declaring properties 16.12 0/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 4/5 0/5 0/5
Concurrent assertions 16.14 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1
Disable iff resolution 16.15 0/1 0/1 0/1 0/1 0/1 1/2 0/1 1/1 0/1 1/2 0/1 1/1 1/2 1/2 1/2
Expect statement 16.17 0/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1
Rand modifier 18.4.1 0/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Randc modifier 18.4.2 0/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1
Constraint blocks 18.5 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
External constraint blocks 18.5.1 1/6 2/6 2/6 1/6 1/6 5/6 1/6 3/6 1/6 1/6 4/6 2/6 1/6 1/6
Constraint inheritance 18.5.2 1/6 1/6 3/6 1/6 1/6 5/6 1/6 3/6 3/6 1/6 3/6 2/6 1/6 1/6
Set membership 18.5.3 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Distribution 18.5.4 1/3 1/3 1/3 1/3 1/3 2/3 1/3 1/3 1/3 1/3 2/3 1/3 1/3 1/3
Uniqueness constraints 18.5.5 0/2 0/2 0/2 0/2 0/2 1/2 0/2 0/2 0/2 0/2 1/2 0/2 0/2 0/2
Implication 18.5.6 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
if–else constraints 18.5.7 0/5 0/5 0/5 0/5 0/5 5/5 0/5 4/5 4/5 0/5 5/5 4/5 0/5 0/5
foreach iterative constraints 18.5.8.1 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Array reduction iterative constraints 18.5.8.2 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Global constraints 18.5.9 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Variable ordering 18.5.10 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Static constraint blocks 18.5.11 0/2 0/2 1/2 0/2 0/2 1/2 0/2 1/2 1/2 0/2 1/2 1/2 0/2 0/2
Functions in constraints 18.5.12 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Constraint guards 18.5.13 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 1/2 0/2 0/2
Soft constraints 18.5.14 1/3 1/3 1/3 1/3 1/3 2/3 1/3 1/3 1/3 1/3 2/3 1/3 1/3 1/3
Soft constraint priorities 18.5.14.1 0/5 0/5 0/5 0/5 0/5 5/5 0/5 2/5 1/5 0/5 5/5 1/5 0/5 0/5
Discarding soft constraints 18.5.14.2 0/5 0/5 0/5 0/5 0/5 5/5 0/5 2/5 2/5 0/5 5/5 2/5 0/5 0/5
Randomize() 18.6.1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Pre_randomize() and post_randomize() 18.6.2 0/4 0/4 2/4 0/4 0/4 4/4 0/4 2/4 2/4 0/4 4/4 2/4 0/4 0/4
Behavior of randomization methods 18.6.3 2/6 2/6 2/6 2/6 2/6 4/6 2/6 2/6 2/6 2/6 6/6 1/6 2/6 2/6
In-line constraints—randomize() with 18.7 0/7 0/7 0/7 0/7 0/7 7/7 0/7 3/7 3/7 0/7 7/7 0/7 0/7 0/7
local:: scope resolution 18.7.1 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 0/2 0/2 2/2 0/2 0/2 0/2
Disabling random variables with rand_mode() 18.8 3/7 1/7 1/7 3/7 3/7 4/7 3/7 1/7 1/7 3/7 4/7 1/7 3/7 3/7
Controlling constraints with constraint_mode() 18.9 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Dynamic constraint modification 18.10 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
In-line random variable control 18.11 0/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2
In-line constraint checker 18.11.1 0/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2
Randomization of scope variables—std::randomize() 18.12 0/2 0/2 1/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 0/2 0/2 0/2
Adding constraints to scope variables—std::randomize() with 18.12.1 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 1/2 0/2 2/2 0/2 0/2 0/2
$urandom 18.13.1 0/4 2/4 2/4 0/4 2/4 4/4 0/4 2/4 2/4 0/4 4/4 1/4 0/4 0/4
$urandom_range() 18.13.2 0/4 1/4 1/4 0/4 0/4 4/4 0/4 1/4 1/4 0/4 4/4 0/4 0/4 0/4
srandom() 18.13.3 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
get_randstate() 18.13.4 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
set_randstate() 18.13.5 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Random stability 18.14 0/4 0/4 0/4 0/4 0/4 4/4 0/4 0/4 0/4 0/4 4/4 0/4 0/4 0/4
Thread stability 18.14.2 0/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2
Object stability 18.14.3 0/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2
Manually seeding randomize 18.15 0/2 1/2 1/2 0/2 0/2 2/2 0/2 1/2 0/2 0/2 2/2 0/2 0/2 0/2
Random weighted case—randcase 18.16 0/4 0/4 0/4 0/4 0/4 4/4 0/4 2/4 2/4 0/4 4/4 0/4 0/4 0/4
Random sequence generation—randsequence 18.17 0/4 0/4 0/4 0/4 0/4 4/4 0/4 2/4 0/4 0/4 4/4 0/4 0/4 0/4
Random production weights 18.17.1 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 0/2 0/2 2/2 0/2 0/2 0/2
if–else production statements 18.17.2 0/4 0/4 0/4 0/4 0/4 4/4 0/4 2/4 0/4 0/4 4/4 0/4 0/4 0/4
Case production statements 18.17.3 0/2 0/2 0/2 0/2 0/2 0/2 0/2 1/2 0/2 0/2 2/2 0/2 0/2 0/2
Repeat production statements 18.17.4 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 0/2 0/2 2/2 0/2 0/2 0/2
Interleaving productions—rand join 18.17.5 0/4 0/4 0/4 0/4 0/4 4/4 0/4 2/4 0/4 0/4 4/4 0/4 0/4 0/4
Aborting productions—break and return 18.17.6 0/4 0/4 0/4 0/4 0/4 4/4 0/4 2/4 0/4 0/4 4/4 0/4 0/4 0/4
Value passing between productions 18.17.7 0/2 0/2 0/2 0/2 0/2 2/2 0/2 1/2 0/2 0/2 0/2 0/2 0/2 0/2
Simulation control system tasks 20.2 3/3 0/3 3/3 2/3 3/3 3/3 3/3 3/3 0/3 0/3 3/3 2/3 0/3 0/3
Simulation time system functions 20.3 3/3 0/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 0/3 3/3 3/3 0/3 0/3
Timescale system tasks 20.4 3/3 0/3 3/3 2/3 3/3 3/3 3/3 3/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Conversion functions 20.5 4/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 0/4 1/4 4/4 4/4 1/4 1/4
Data query functions 20.6 3/5 0/5 4/5 0/5 4/5 5/5 3/5 5/5 0/5 0/5 3/5 5/5 5/5 0/5 1/5
Array query functions 20.7 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Math functions 20.8 22/22 0/22 22/22 1/22 22/22 22/22 22/22 22/22 0/22 0/22 1/22 22/22 22/22 1/22 1/22
Bit vector system functions 20.9 4/4 0/4 3/4 0/4 4/4 4/4 4/4 4/4 0/4 0/4 0/4 4/4 3/4 0/4 0/4
Severity tasks 20.10 4/4 0/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 0/1 0/4 4/4 4/4 0/4 0/4
Sampled value system functions 20.13 16/16 0/16 16/16 0/16 0/16 16/16 16/16 16/16 0/16 0/16 16/16 16/16 6/16 16/16 16/16
Probabilistic distribution functions 20.15 8/8 0/8 8/8 0/8 1/8 8/8 8/8 8/8 0/8 0/8 0/8 8/8 1/8 0/8 0/8
Display system tasks 21.2 6/6 0/6 6/6 0/6 6/6 6/6 6/6 6/6 0/6 0/6 0/6 6/6 4/6 0/6 0/6
File input/output system tasks and system functions 21.3 17/17 0/17 17/17 0/17 17/17 17/17 17/17 17/17 0/17 0/17 0/17 17/17 15/17 0/17 0/17
Loading memory array data from a file 21.4 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 2/2 2/2 0/2 0/2
Command line input 21.6 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Value change dump (VCD) files 21.7 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Module definitions 23.2 2/2 1/2 1/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2
resetall 22.3 2/3 2/3 1/3 3/3 3/3 2/3 3/3 3/3 2/3 2/3
include 22.4 7/8 8/8 1/8 8/8 8/8 8/8 8/8 8/8 8/8 8/8
define 22.5.1 9/29 23/29 9/29 29/29 25/29 29/29 29/29 0/1 29/29 13/29 13/29
undef 22.5.2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
undefineall 22.5.3 0/2 0/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2
ifdef, else, elsif, endif, ifndef 22.6 0/3 2/3 2/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
timescale 22.7 3/4 4/4 0/4 4/4 4/6 4/4 4/4 2/2 6/6 4/6 4/6
default_nettype 22.8 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2
unconnected_drive and nounconnected_drive 22.9 2/2 2/2 0/2 2/2 4/5 2/2 2/2 3/3 5/5 3/5 3/5
celldefine and endcelldefine 22.10 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
pragma 22.11 1/6 1/6 1/6 6/6 6/6 6/6 6/6 6/6 1/6 1/6
line 22.12 6/7 6/7 5/7 7/7 6/7 7/7 7/7 7/7 4/7 4/7
The program construct 24.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1
Interface syntax 25.3 0/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Package declarations 26.2 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Referencing data in packages 26.3 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Total tests passed 3034/4355 952/4455 3461/4455 799/4455 3063/4455 4352/4937 3307/4455 4315/4455 1252/4355 408/935 1069/4355 4180/4355 3171/4937 1461/4937 1720/4937
Total tags passed 148/354 62/366 237/366 23/366 219/366 313/368 170/366 307/366 118/354 18/142 68/354 311/354 198/368 39/368 44/368
Total time elapsed 98s 62s 29s 23s 55s 7041s 2621s 2638s 465s 1227s 6639s 32s 1297s 180s 233s
User time elapsed 79s 43s 14s 14s 39s 6904s 2130s 2597s 406s 1190s 6474s 22s 1118s 159s 193s
System time elapsed 19s 19s 14s 10s 16s 137s 492s 40s 60s 37s 165s 10s 179s 21s 41s
Maximum ram usage 4200 MB 1059 MB 95 MB 146 MB 642 MB 3479 MB 4116 MB 297 MB 77 MB 113 MB 3679 MB 63 MB 4204 MB 463 MB 4196 MB
Average throughput passed for inputs > 1KiB 252 KiB/s 1300 KiB/s 1629 KiB/s 376 KiB/s 1450 KiB/s 6 KiB/s 25 KiB/s 19 KiB/s 101 KiB/s 1 KiB/s 8 KiB/s 1516 KiB/s 63 KiB/s 182 KiB/s 126 KiB/s

Download a summary in csv